Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
91	Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML ∗ Steven E. Ganz † Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-07-14 12:45:37 Functional languages Transformation languages Procedural programming languages Denotational semantics Hygienic macro Macro Inline expansion Standard ML Racket Software engineering Computing Computer programming
92	c Cambridge University Press 2010 JFP: page 1 of 45. 1 doi:S0956796810000146 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-04-07 10:56:56 Graph theory Standard ML Parallel computing Algorithm Graph Graph operations Mathematics Applied mathematics Theoretical computer science
93	Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks Peter Chapin Christian Skalka ∗ Add to Reading List Source URL: web.vtc.edu Language: English - Date: 2013-09-17 18:56:00 Type theory Data types Functional languages Program analysis Type system Object-oriented programming TinyOS Generic programming Standard ML Software engineering Computing Computer programming
94	Moscow ML Owner’s Manual Version 2.10 of August 2013 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agri Add to Reading List Source URL: mosml.org Language: English Procedural programming languages Functional languages Standard ML Type safety ML Declaration Header file Constant Portable Executable Software engineering Computing Computer programming
95	Commentary on Standard ML Commentary on Standard ML Robin Milner and Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:44:07 Functional languages Procedural programming languages Robin Milner Mads Tofte ML Robert Harper Milner Unit of alcohol Software engineering Programming language theory Computing
96	Type Inference for First-Class Messages with Match-Functions Paritosh Shroff Scott F. Smith Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-10-26 21:47:01 Software engineering Type inference Lambda calculus Standard ML Kind System F Type system Hindley–Milner Unification Type theory Programming language theory Theoretical computer science
97	Porting MiGLayout to other GUI toolkits MiGLayout, henceforth called ML, is made for porting to different GUI tookits. In fact, the Add to Reading List Source URL: www.migcalendar.com Language: English - Date: 2010-05-09 18:12:52 Widget toolkits Cross-platform software Java programming language Swing Java Standard Widget Toolkit Computing Software Java platform
98	An LLVM Back-end for MLton by Brian Andrew Leibig A Project Report Submitted in Partial Fulfillment of the Add to Reading List Source URL: www.cs.rit.edu Language: English - Date: 2013-08-21 15:17:01 Compiler construction LLVM Compiler Static single assignment form MLton Standard ML Bytecode D Clang Software Computing Compilers
99	Safe\|A Semantic Technique for Transforming Programs in the Presence of Errors ALEXANDER AIKEN University of California, Berkeley and JOHN H. WILLIAMS and EDWARD L. WIMMERS Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-08-19 20:08:15 Logic in computer science Functions and mappings Recursion Standard ML FP Type system Denotational semantics Combinatory logic Expression Software engineering Programming language theory Computing
100	Programming in Standard ML (W ORKING D RAFT OF M ARCH 25, Robert Harper Carnegie Mellon University Spring Semester, 2001 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2001-09-28 05:05:39 Procedural programming languages Functional languages Standard ML ML Reference Recursion Exception handling Software engineering Computing Computer programming

UPDATE